automated verificaiton system

[计] 自动验证系统